Definition of normal subgroup